char *name() { return "bar"; }
